A few small edits