diff --git a/src/xml.cpp b/src/xml.cpp
index 7733bf0260..7cf738ac4e 100644
--- a/src/xml.cpp
+++ b/src/xml.cpp
@@ -611,8 +611,7 @@ docstring xml::cleanID(docstring const &orig)
 	if (mangle) {
 		int & mangleID = tMangleID.localData();
 		content += "-" + convert<docstring>(mangleID++);
-	} else if (isDigitASCII(content[content.size() - 1]))
-		content += ".";
+	}
 
 	mangledNames[orig] = content;