Make example more terse to better fit GitBook formatting