Got the Travis config wrong