$ 0 0 The problem is now fixed. The fix will be included in the next release. Thanks Ian for the report!