Minor edits to documentation