Merge "Minor documentation improvements."