Error fix in Prototype.tex