Fixing a compilation bug