Make up a missing import