[3033] Compilation fix