minor updates in tavernal exporting