Minor edits to manual