make the html doc signatures a bit prettier