Fixes

Study this example:

```
options {
    charsAroundDiff: undefined
}
```