Thanks to Manlio Poltronieri, compare() has been fixed.