Patch pushed as e1f9a10fdce697e50cce463c25f6c196c967a627. Thanks.