Temp fix for a compilation error