Fix demo TeX