Repair of the cylinder head