Trivial doc changes