Patch pushed as ad002d1541161955db8fdc62da684ceb485d4640.
Thanks.