Fix an inaccurate abstract