Minor compilation fix.