dev-manual.tex: fix 2 spelling errors