More trivial doc changes.