Minor documentation polishing