Slight change in Travis config