Add missing ...
Merge branch 'development' of github.com:chebfun/chebfun into development