Fixing a bug in the IRV code