Tiny fix to Clippy so it appears properly. #866