Patch pushed as 9c2d6ddfbed949d55230cb785d0245f5ef21daa6.
Thanks.