minor tweaks on the abstract