Patch applied as c9dd09855e69af3e166ddfdafb3a1f57a26901e0. Thanks.