Chenyu's fixes to the abstract.