Does the need for this imply this will not happen, or run when just calling rdlint? Seems like this should not be necessary.