Fix clippy lint (#547)