Minor fixes to abstract in paper