Oops, that's a bug in my release script. I'll get this fixed.