Patch pushed as d9f3567abb593cd89632dd4bb03d5bb2a5b4764c.
Thanks.