fix travis bug