Fix stupid typo in Travis scripts