Fixes in ans11.tex