Change suggested by Timo Bruhn. darcs-hash:20081126185840-db55f-e0924ad21e9d73fa88e6a2910bfef32bff3e5344.gz