Correct implicit import