Fixing another compilation error (there are still more)