Minor documentation changes in comments