edsko: heh.  looks like someone published stuff with \r chars.