thesis: fix errors and typos in implementation description