$ 0 0 This issue was fixed in 14.0 (efix #4). That fix will be applied to 13.10 and 13.0 a little bit later this year.