Small paper edits