Minor edits and documentation