Minor edits to documetnation