Edits to Sergey's thesis

(Trying again to create pull request; first one might have failed.)