Patch pushed as e3bb2acbfa7d41ef5f945b9956300b4902e18a1e.
Thanks.