Patch pushed as 8a625dd2aeba322004d24d1767215dfe8627ec42. Thanks