Patch pushed as 906155e437c9513462f19baac6e88b976f42b358. Thanks.