refined pretty print