Patch pushed as ac7e2f21b08f65522a83f2821d1250145247c626.
Thanks.