Various improvements in the TikZ output.