you are right. I'm going to fix it, see it turn green on the buildbot, and then merge.