Patch pushed as 2b66b54baea5feebdc45b17b7ca67710c5667936. Thanks.