small fix in export