Upgrade Rust problems to HEAD.
Fix formatting.