Fixed a bug in the build.