Fix merged. See commit [870b1002a4].
Version bumped to 0.14.

Thank you for the report. And thanks to Ashok for the fix.