Well, you're right. I just pushed a fix for the bug so the comment doesn't need to be there now. :)