Patch pushed as e7195e83c85a83131c0981bae2b6e5613669ebd1.
Thanks.