thesis: fix issues in erlang.tex