Thanks for the patch, pushed as commit 7d80d795248b029183b27361e9ab4895079375f7.