abstract correction