Minor edits and improvements in documentation