fix clippy lints #42

Closed divagant-martian closed 1 year ago