Hi Michael,

Your patch looks good!  It has been pushed to master as commit bd674829.

Thanks,
Kei