Fix a bug the buildbot caught