fixing a compilation problem.