Hi Michael,

This patch looks fine.  It has been pushed to master as commit 218ce8b9.

Thanks,
Kei