Fixed bug in travis config.