ivory-rust: reviewers' tweaks.