Patch pushed as 26e894414a792fcd70039fbddfd0e4ce94501965.
Thanks.