Make several small improvements in the text