fixing a compilation error