See comments in the above issue.