Doc: small fix (2)
Relaunch Travis