Shorter/better pretty-printing function