Fix some errors in the travis config.