Fixed a compilation problem.