Patch pushed as 2ff3e6e985183bef61f46fce86558bb7255e335f.
Thanks.