Change various problem texts to give greater clarity, fix typos, etc.