Patch pushed as 58a95d599ee5d0dc6419d038b7317e1b77b11519.
Thanks.