@RoySegall let's add a comment to explain why it is needed.