Patch pushed as 93bf42361ca3d88fd0c95bbb61dcf1fa9c508159.
Thanks.