Fix (H-not-zero) error