Tiny tweak to ABSTRACT