fix clippy lints #16

Closed divagant-martian closed 1 year ago