Hi Michael,

This patch looks good!  It has been pushed to master as commit e1e42eac.

Thanks,
Kei