Properly include exportfact