Hi Michael,

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

Thanks,
Kei