Add missing import in InitSpec