minor cosmetic tweak