"subexpression had been modified" not shown direcly after `rw`

[javra]

In line 2, col 8 here, the green highlighting doesn't show, I need to add an additional space.

example (p : x = y) (q : y = z) : x = z := by
  rw [p]