Make the change on *both* verify_high calls