Minor stylistic change to docs.