Minor changes to GitHub HTML.
Update generated files
Merge pull request #2 from pmdarrow/master

Fix for changes in GitHub HTML