A minor fix in abstract