GitHub Pages: minor wording correction in docs