Shorten examples slightly