minor abstract edit