diff --git a/src/system/kernel/vm/vm.cpp b/src/system/kernel/vm/vm.cpp
index 0d2dea13b6..f342e1933a 100644
--- a/src/system/kernel/vm/vm.cpp
+++ b/src/system/kernel/vm/vm.cpp
@@ -3432,7 +3432,7 @@ dump_mapping_info(int argc, char** argv)
 
 	// We need at least one argument, the address. Optionally a team ID can be
 	// specified.
-	if (argi >= argc || argi + 1 < argc) {
+	if (argi >= argc || argi + 2 < argc) {
 		print_debugger_command_usage(argv[0]);
 		return 0;
 	}