refined last sentence of abstract

Signed-off-by: James Paton <paton@cs.wisc.edu>