diff --git a/core/PythonCdb.cc b/core/PythonCdb.cc
index 0a166c40fd..eddb055b0f 100644
--- a/core/PythonCdb.cc
+++ b/core/PythonCdb.cc
@@ -609,7 +609,6 @@ std::string Property<Prop>::latex_() const
 	str << "\\text{Attached property ";
 	prop->latex(str);
 	std::string bare=Ex_latex_(*for_obj);
-	boost::replace_all(bare, "#", "\\#");
 	str << " to~}"+bare+".";
 	return str.str();
 	}