Trivial doc formatting update