Patch applied as c46fe3ed743dde2fb4b15e578e6985d888ce87e4. Thanks.