Many little edits, clarifications and fixes.