An attempt to fix Milan's compilation error.