Patch pushed as d7a1eb2a663503954000293b361b835ba8a02ed7.
Thanks.