Improved HTML code for search statistics (#745)