Shortened the short definition.