Updated documentation - corrected typos, made some points more explicit and
added a note on progress.