update for crates.io push