Fix bug in H_evalf: Flag has_minus_one is now computed where it is needed.