Try to fix docco for GitHub pages.