Fix typos bothering rust-nightly pipeline

requested review from @Diziet

Thanks. As it happens @trinity-1686a found and fixed these too in !469 (merged). I guess I will merge this one too, as that seems nicer than just closing it.

mentioned in commit 174883ee

merged