fixing a compilation problem