Minor style fix for batman-adv