Correct fix for export type error