Bug reported by Marc Blanchet. darcs-hash:20061120160021-65a35-e8ebe63f68e410467e5748b5e85e2dd88fd606f8.gz