Fixed a missing import

As the title says