Patch pushed as ad4bb682d35e2d6246c4b8cd0b2e5396d05bd242. Thanks.