Small edits throughout