Patch pushed as d2cd3290ea4fed6417e6192676a55ee158256df0.
Thanks.