Hi @anon58774453!
Thanks! Your suggestion works, as expected.
I also glanced over the engine source on Github, but I noticed there is no “issues” section over there to discuss bugs (there is only the “pull requests” section). So is this forum the best (or only?) place to report bugs in the engine?