fix buggy html and shorten unknown version string