Small fix for hotbuild 1.9.9