More typos in the Travis file ...