Patch pushed as b36f2abe6e699cdba93e18c4e4b415fa7711ec6c. Thanks.