Correct exporting body examples into file