fix Travis error