fix some minor cosmetic formatting