diff -r 7912530a33e2 -r 542e97d4ecb3 Helpviewer/UserAgent/UserAgentMenu.py --- a/Helpviewer/UserAgent/UserAgentMenu.py Mon Oct 14 18:26:25 2013 +0200 +++ b/Helpviewer/UserAgent/UserAgentMenu.py Mon Oct 14 19:30:36 2013 +0200 @@ -177,7 +177,8 @@ menuStack.pop() if xml.hasError(): - E5MessageBox.critical(self, + E5MessageBox.critical( + self, self.trUtf8("Parsing default user agents"), self.trUtf8( """<p>Error parsing default user agents.</p><p>{0}</p>""")