Fix printf colorizing

I think using `.[ .. ]` is more intuitive than using `Substring` in the examples here.