Hi @samwise ,
The issue was already resolved but not in the version that you are using. Upgrading to 9.4 will resolve the issue.
In the future, please make sure to follow the “How to Report a False-positive / False-negative” guide, thanks!
2 Likes