Patch pushed as 7134a1081379e9950387e9ff581e48bc92939eba.
Thanks.