fix minor formatting