Fix another style inconsistency