Travis config correction