small doc reformating.

