Minor improvement to abstract