--- a/QTfrontend/ui/widget/HistoryLineEdit.h	Mon Oct 24 11:14:09 2011 +0200
+++ b/QTfrontend/ui/widget/HistoryLineEdit.h	Mon Oct 24 20:01:25 2011 +0200
@@ -37,7 +37,7 @@
 class QLineEdit;
 
 /**
- * @brief A <code>QLineEdit</code> that features a history of previous contents,
+ * @brief <code>QLineEdit</code> that features a history of previous contents,
  *        re-selectable using the arrow keys.
  *
  * Note: Public methods for accessing history are <b>thread-safe</b>.