implementation.tex: correction