Updating: fixing Travis-CI