More trivial text corrections...