minor readtex fixes