Fix 2 minor errors in the manual#139

ohad wants to merge 3 commits into

ott-lang:masterott-lang/ott:masterfrom

ohad:minor-typosohad/ott:minor-typosCopy head branch name to clipboard