diff --git a/client/src/CoqDocument.ts b/client/src/CoqDocument.ts
index de0a182..03d266f 100644
--- a/client/src/CoqDocument.ts
+++ b/client/src/CoqDocument.ts
@@ -176,9 +176,9 @@ export class CoqDocument implements vscode.Disposable {
       this.project.infoOut.appendLine(psm.prettyTextToString(params.message));
       return;
     case 'notice':
-      this.project.noticeOut.clear();
       this.project.noticeOut.show(true);
       this.project.noticeOut.append(psm.prettyTextToString(params.message));
+      this.project.noticeOut.append("\n");
       return;
       // vscode.window.showInformationMessage(params.message); return;
     // case 'error':
@@ -550,4 +550,4 @@ export class CoqDocument implements vscode.Disposable {
    return this.focus;
  }
   
-}
\ No newline at end of file
+}