Fixed a build problem with the last change.