Fixed a build-time bug.