Minor.
Correct way to pretty print.