Remove obsolete comment in core_lint