Patch pushed as 56c2afd29e75fbf44bcd6407028674f845c5d6b5.
Thanks.