Hm. I made the change and don't see weird behaviour. I will triple check.