Make a proper pretty-printing function.