Minor tweak to the abstract.