Shorten abstract slightly.