Fixing mismatch in cargo file that prevented it from building