Trivial doc changes.