Comment by yarlinghe

Purely cosmetic. In hindsight, probably unnecessary — but once you add color, it’s hard to stop