dank.tex: corrections