minor fixes to webmaking (fixes #13)
Merge remote-tracking branch 'upstream/gh-pages' into gh-pages