Merge "Minor documentation tweaks"