diff --git a/src/goto-instrument/cover.cpp b/src/goto-instrument/cover.cpp
index f2694a587a5..a2d6d748501 100644
--- a/src/goto-instrument/cover.cpp
+++ b/src/goto-instrument/cover.cpp
@@ -54,10 +54,7 @@ void instrument_cover_goals(
 /// \deprecated use instrument_cover_goals(goto_programt &goto_program,
 /// const cover_instrumenterst &instrumenters,
 /// message_handlert &message_handler, const irep_idt mode) instead
-DEPRECATED(
-  "use instrument_cover_goals(goto_programt &goto_program,"
-  "const cover_instrumenterst &instrumenters,"
-  "message_handlert &message_handler, const irep_idt mode) instead")
+DEPRECATED("use instrument_cover_goals(goto_programt &...) instead")
 void instrument_cover_goals(
   const symbol_tablet &symbol_table,
   goto_programt &goto_program,
diff --git a/src/goto-instrument/model_argc_argv.cpp b/src/goto-instrument/model_argc_argv.cpp
index a162894e138..318292e324c 100644
--- a/src/goto-instrument/model_argc_argv.cpp
+++ b/src/goto-instrument/model_argc_argv.cpp
@@ -31,8 +31,8 @@ Date: April 2016
 #include <goto-programs/remove_skip.h>
 
 /// Set up argv with up to max_argc pointers into an array of 4096 bytes.
-/// \param symbol_table: Input program's symbol table
-/// \param goto_functions: Input program's intermediate representation
+/// \param goto_model: Contains the input program's symbol table and
+///   intermediate representation
 /// \param max_argc: User-specified maximum number of arguments to be modelled
 /// \param message_handler: message logging
 /// \return True, if and only if modelling succeeded