doc html update for PR #463

gh-pages update for PR #463