Some small changes for consistency#8452

Kimundi wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

Kimundi:stuff02Kimundi/rust:stuff02Copy head branch name to clipboard