Minor English improvements.