diff --git a/src/knowledge.c b/src/knowledge.c
index d85f6cf..5449985 100644
--- a/src/knowledge.c
+++ b/src/knowledge.c
@@ -195,8 +195,7 @@ knowledgeAddTerm (Knowledge know, Term term)
 //! Try to simplify knowledge based on a term.
 /**
  *@param know A knowledge set.
- *@param term A key, i.e. it can decrypt
-	anything that was encrypted with term^{-1}.
+ *@param key A key, i.e. it can decrypt anything that was encrypted with term^{-1}.
  */
 void
 knowledgeSimplify (Knowledge know, Term key)
diff --git a/src/runs.c b/src/runs.c
index 40a1c21..f2088d1 100644
--- a/src/runs.c
+++ b/src/runs.c
@@ -93,7 +93,7 @@ systemInit ()
 
 //! Reset a system state after some exploration.
 /**
- *@param A system structure pointer.
+ *@param sys A system structure pointer.
  *@return Counter values have been reset.
  */
 void