thesis: fix typos and errors in algorithm description