Fixed compilation problem: someone checked in code that doesn't compile