I hesitate to commit this directly, because the same issue probably exists
in many other operators.
There are three possible solutions:
- Don't care, leave everything as is.
- Gradually fix all the instances of this problem.
- Fix all (most) of the instances of this problem at once.
What should we do?