some minor tweaks to the abstract