minor cosmetic fixes