Shmuel, you indicated that you are using 12.0.4.0 — just to confirm, are you sure you’re not on 12.0.2 ? The 12.0.4 release is not publicly available yet, and moreover, the issue you’re referring to is fixed in 12.0.4, so I believe it is being released this evening, so as soon as it comes out, this should be fixed.
