oops, yeah.  bad comment.  fixed in next push.