I just copied this over from its original location. I'd rather not change it in this PR.