fixing mistakes in Itanium section