Fix not(big-h3).