slight change to the auto-generated github pages html doc