Fixed an issue with travis config.