stringify: print strings properly