Thanks for filing the bug Jason! I don't think that bug should prevent merging this PR in any way -- the issue is not related.