Fix errors in abstract