Fix mistaken auto-import