diff --git a/src/coq/serapi/util/SerapiCommandFactory.js b/src/coq/serapi/util/SerapiCommandFactory.js
index 9927be8f..91dfe35c 100644
--- a/src/coq/serapi/util/SerapiCommandFactory.js
+++ b/src/coq/serapi/util/SerapiCommandFactory.js
@@ -72,7 +72,7 @@ export function createQueryVernacCommand(command) {
  * Partial method for vernac commands to execute the command
  * after a specific sentece
  * @param {String} command the vernac commmand to execute
- * @param {String} sentenceId the sentence id after which
+ * @param {Integer} sentenceId the sentence id after which
  * the command should execute
  * @return {string} the command
  */