Fix travis configuration
Fix documentation