Fixed bugs in usr.tex