Minor bugfix in build.