Ooops, good shout. That's fixed in #580 now