fixing bug in .travis