another minor cosmetic change to previous commit