Another minor abstract edit.