Attempting with another version of clippy