Make two small improvements in the abstract