Minor tweaks in Cargo.toml files