Good observation.  I will update the comment.