Fix patch for bug #1289: it is an equality test.