trivial.  correct a misleading comment.