Fix Travis-CI setting.