Travis CI configuration
Docfix