update wiki.html and trivial