Minor corrections/edits

Not sure these two expressions mean exactly the same thing.