I'm assuming this has been fixed, even if GitHub hasn't removed my comment.