Fix Travis-CI setting