Minor edit in tramp.texi