fix filename

app.py

@@ -34,6 +34,12 @@ if uploaded_file is not None:
             st.write(f"The other file in the 'uploads' folder is: {file}")
             break
     
+    st.download_button(
+        label="Download File",
+        data=file_content,
+        file_name=folder_path+file,
+        mime='text/plain'
+    )
     
     monkeyReader = reader.MonkeyReader('monkey')
     outline = monkeyReader.readOutline(folder_path + file)