Small formatting/doc updates to 07a44c3f24cd60c565284fd12058e3b341d0c592.