Update os.tex