Minor tweak for lint output