small bugfix in export