Fixed one buildbot-failure-causing bug...