Fix bug #8741

diff --git a/src/BiblioInfo.cpp b/src/BiblioInfo.cpp
index 1464e7088e0aa636835871f7c1f7d64e5e33f93e..29ade833ce54ab1107d5cee9a5a315963e63c89c 100644 (file)
--- a/src/BiblioInfo.cpp
+++ b/src/BiblioInfo.cpp
@@ -378,6 +378,12 @@ docstring convertLaTeXCommands(docstring const & str)
                        continue;
                }
 
+               if (ch == '~') {
+                       ret += ' ';
+                       val = val.substr(1);
+                       continue;
+               }
+
                if (ch == '$') {
                        ret += ch;
                        val = val.substr(1);