minor paper edits