Fixed a compilation bug.