diff --git a/src/main/kotlin/b/language/server/BDocumentService.kt b/src/main/kotlin/b/language/server/BDocumentService.kt
index 1c5cb9608a1fc401a4f188f0d9c77e006bf7a468..fce2ef423fc502a50b8d8da2602cbe28dd96f592 100644
--- a/src/main/kotlin/b/language/server/BDocumentService.kt
+++ b/src/main/kotlin/b/language/server/BDocumentService.kt
@@ -42,7 +42,7 @@ class BDocumentService(private val server: ServerInterface,
 
     /**
      * checks a document via prob an the set options
-     * @param the uri to perform actions on
+     * @param currentUri the uri to perform actions on
      */
     fun checkDocument(currentUri : String){
 
@@ -80,7 +80,7 @@ class BDocumentService(private val server: ServerInterface,
      * @param currentUri the uri of the current main file
      * @param filesWithProblems uris of files containing problems
      */
-    fun calculateToInvalidate(currentUri : String, filesWithProblems : List<String>) : List<String>{
+    private fun calculateToInvalidate(currentUri : String, filesWithProblems : List<String>) : List<String>{
         val currentlyDisplayed = issueTracker[currentUri].orEmpty()
         return currentlyDisplayed.subtract(filesWithProblems).toList()
     }
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
index 4d19fe466ba7f9c0e46ad9b10aa63fb700ce4c93..3cbddd8dbde02c05aca6904ab248ca0bf19d228b 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
@@ -55,15 +55,16 @@ class ProBKernel @Inject constructor(private val injector : Injector,
 
         val problems = loadMachine(settings, path, factory)
 
-        communicator.sendDebugMessage("returning from kernel problems are ${problems.toString()}", MessageType.Info)
+        communicator.sendDebugMessage("returning from kernel problems are ${problems}", MessageType.Info)
 
         return listOf(informationListener.getInformation(), problems).flatten()
     }
 
     /**
      * Does the main work
-     * @param newTraceCreator a anonymous function dealing with the state space
-     * @param settings the settings to be applied
+     * @param settings the settings of the document
+     * @param path the path to the document
+     * @param factory a factory
      */
     private fun loadMachine(settings: ProBSettings, path : String, factory : ModelFactory<*>): List<Diagnostic> {
         communicator.sendDebugMessage("creating new state space", MessageType.Info)
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/WarningListener.kt b/src/main/kotlin/b/language/server/proBMangement/prob/WarningListener.kt
index 7df1aac275b4086287523067fdcbc56357b6f4a5..683149e07a8649037103076e477436b0ab42ae9f 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/WarningListener.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/WarningListener.kt
@@ -7,7 +7,7 @@ import org.eclipse.lsp4j.Diagnostic
 /**
  * Custom collector to collect warnings from prob kernel
  */
-class InformationListener(val fallbackPath : String) : IWarningListener {
+class InformationListener(private val fallbackPath : String) : IWarningListener {
     private val warningList : ArrayList<ErrorItem> = arrayListOf()