Update errordetection.tex