IRV: a minor bug