Patch pushed as 6c1982d41c381b0f7d21e804b4bd480363686bf6.
Thanks.