#clippy

From over 8 years ago

From over 9 years ago

From almost 7 years ago