Update lib.rs