update.rs: ~"" is gone in latest rust
option: improve description of Option