Fixing a compilation issue due to the last local merge that introduced t...

...his error