Fixing another compilation problem