Fixing a compilation issue