The Nigerian army says it has killed seven suspected members of the Islamist militant group Boko Haram in a gun battle in the north of the country.
A spokesman said a further 13 people were arrested after an attack on an army checkpoint in Maiduguri.