fix Travis-CI test