Patch applied as 61ef4d2adb5a30ba98fb37b4a5626f84e08df567. Thanks.