Correction to is_zero functions