adding travis patch