My email was really slow in notifying me on this, so I was working on addressing this before I saw these comments... 

For edge cases like this one, I think a comment is sufficient. But we definitely need a comment at least, and not a just reference to a comment on a github issue. I updated the code accordingly on #579.