Fix some wording problems noted by Paolo Bonzini in: