Patch pushed as 513ab9956ddfd54cfb411c73cfd0838b78b47fc4. Thanks.