Patch pushed as a6b3bdb7fc5e59607c257b769a53f346c327e60d.
Thanks.