BUILDBOT: Fix syntax of configuration file broken in previous commit.