fix minor formatting issues