small edits throughout