Patch pushed as e5fa6df1bcc8365b6dcb1fe3f4a117b16588da03.
Thanks.