doc html update for PR #463