minor abstract updates