diff --git a/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts b/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts
index 22b58338bde..ab06faacd7f 100644
--- a/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts
+++ b/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts
@@ -43,10 +43,10 @@ declare module 'vscode' {
 		 */
 		terminalCommand: string;
 		/**
-		 * Whether the command should be executed or just inserted
+		 * Whether the command should be executed or just inserted (default)
 		 */
 		shouldExecute?: boolean;
-		constructor(terminalCommand: string);
+		constructor(terminalCommand: string, shouldExecute?: boolean);
 	}
 	export class TerminalQuickFixOpener {
 		/**