Small change to Travis config