Visual refinements, mostly typographical