@peterflynn Yes, good point.  I'll correct the comment.