Hi Michael,

Your patch works fine.  It has been pushed to master as commit 3ad2f736.

Thanks,
Kei