Good point; it's ok if we just mention it in the reference and not clutter the log.