minor tweak to abstract