minor abstract edits