Patch pushed as 9d7a1e58f91889d5a5330d4bf9911102f2e66db9.
Thanks.