some more minor paper edits