Minor paper edits.