Patch pushed as 8bb7cb7befd0e4d7a8dacf4942401f39609cf339.
Thanks.