Fixed problem in travis config