Patch pushed as 5e683bc5fa466d3117620e242ff7006538102c09.
Thanks.