configure: minor cosmetic tweak