Update extending.tex