Minor documentation edits [ci skip]