Bug in Data.Map