ah, thanks for investigating. Can you add a comment to this line of code explaining that this isn’t evil for the reasons you mentioned?