[master 29/30] Fix two instances where check_equal() returned True incorrectly.