fix misnamed export.