Hi Michael,

This patch works fine.  It has been pushed to master as commit 074baedc.

Thanks,
Kei