regenerated html, fixes #118