fix minor cosmetic issue