Hi Michael,

This patch looks good!  I've pushed it to master as commit cf3ca5a7.

Thanks,
Kei