minor fixes

src/streamlit_app.py

@@ -150,7 +150,7 @@ def load_papers_from_rds():
         return []
 
 
-# --- 3. The Search Function ---
+# The Search Function
 def search_theorems(query, model, theorems_data, embeddings_db):
     """
     Takes a user query and finds the top 10 most similar theorems.
@@ -163,7 +163,7 @@ def search_theorems(query, model, theorems_data, embeddings_db):
     cosine_scores = util.cos_sim(query_embedding, embeddings_db)[0]
     top_results_indices = np.argsort(-cosine_scores.cpu())[:10]
 
-    st.subheader("Top 5 Most Similar Theorems")
+    st.subheader("Top 10 Most Similar Theorems")
 
     if len(top_results_indices) == 0:
         st.write("No results found.")