bugfix in update-html