fix minor formatting inconsistency