Fixing a compilation error