Minor documentation formatting.

3 jobs for master