Updating: fixing travis-CI