55d473ee40
The `<` and `>` don't work well when the name is inserted into a .dot graph.
The `<` and `>` don't work well when the name is inserted into a .dot graph.