small abstract correction