Correct texi file for use of .Xresources