Hm, it turns out we need to make sure we call getname() until we get
[mmh] / DATE
1  3 January 2012