minor correction after buildbot warnings