Proposed fix for #62