Fix `options // []` to `options \\ []`