a bug in Path.hs