Minor compilation fix