doc formatting fix
Merge pull request #8503 from amitmurthy/amitm/docfix

doc formatting fix