Thanks for the report.  I will add this fix in. If we get enough of these minor fixes we will release a 0.93.2, otherwise the fix will show up in 0.94.