Patch pushed as 3cd42883c4ad693ed1f79c6be35e1aa3e010e10a.
Thanks.