fix minor formatting issue