Fix to work with the last Rust deriving.