fix minor formatting error