Another compilation fix.