Patch pushed as b67c67b0270a0e27ef6bc68efcc721bad8d445c9.
Thanks.