Fix bug in travis config file