minor fixes, shortened abstract