Patch applied as 24c3b94e78bbeae048d263b4ae7ff453e180f555. Thanks.