Bug reported by Timo Bruhn. darcs-hash:20080807115301-db55f-6c8070cc043073e4c10ea2da25aa112ca3e7b636.gz