Update schema.tex