A minor improvement in check_one_exclude().