I'm wondering if it's better to always show the format `"[{0}.{1}.{2}]"` for consistency. Perhaps not, because those numbers are not really meant for human consumption, just ordering.