Minor format changes and doc updates

Authored by Yan Zhang <ynzhang@google.com> on May 24 2018, 9:44 PM.