Made a few small edits in the paper