fixing a few mistakes in travis-ci