this is now fixed, but the comment still lives on GitHub.