@BenMorel can you add a comment that explains this?