OK, don't worry about re-exporting it then.