Fix import in main.rs