fixing a formatting inconsistency