Cosmetic change to Travis script