Minor edit of doc for formatting.
===GT=== #3892