Fix a missed import