diff --git a/formver.common/src/org/jetbrains/kotlin/formver/common/PluginConfiguration.kt b/formver.common/src/org/jetbrains/kotlin/formver/common/PluginConfiguration.kt
index 7267eea4..92b876c8 100644
--- a/formver.common/src/org/jetbrains/kotlin/formver/common/PluginConfiguration.kt
+++ b/formver.common/src/org/jetbrains/kotlin/formver/common/PluginConfiguration.kt
@@ -18,4 +18,9 @@ class PluginConfiguration(
             "Conversion options may not be stricter than verification options; converting $conversionSelection but verifying $verificationSelection."
         }
     }
+
+    override fun toString(): String =
+        "PluginConfiguration(logLevel=$logLevel, errorStyle=$errorStyle, behaviour=$behaviour, " +
+        "conversionSelection=$conversionSelection, verificationSelection=$verificationSelection, " +
+        "checkUniqueness=$checkUniqueness)"
 }
\ No newline at end of file
diff --git a/formver.compiler-plugin/cli/src/org/jetbrains/kotlin/formver/cli/FormalVerificationPluginComponentRegistrar.kt b/formver.compiler-plugin/cli/src/org/jetbrains/kotlin/formver/cli/FormalVerificationPluginComponentRegistrar.kt
index a1b88d87..84d211c6 100644
--- a/formver.compiler-plugin/cli/src/org/jetbrains/kotlin/formver/cli/FormalVerificationPluginComponentRegistrar.kt
+++ b/formver.compiler-plugin/cli/src/org/jetbrains/kotlin/formver/cli/FormalVerificationPluginComponentRegistrar.kt
@@ -8,8 +8,10 @@ package org.jetbrains.kotlin.formver.cli
 import org.jetbrains.kotlin.compiler.plugin.CompilerPluginRegistrar
 import org.jetbrains.kotlin.compiler.plugin.ExperimentalCompilerApi
 import org.jetbrains.kotlin.config.CompilerConfiguration
+import org.jetbrains.kotlin.config.messageCollector
 import org.jetbrains.kotlin.fir.extensions.FirExtensionRegistrarAdapter
 import org.jetbrains.kotlin.formver.common.*
+import org.jetbrains.kotlin.cli.common.messages.CompilerMessageSeverity
 import org.jetbrains.kotlin.formver.plugin.compiler.FormalVerificationPluginExtensionRegistrar
 
 @OptIn(ExperimentalCompilerApi::class)
@@ -42,6 +44,7 @@ class FormalVerificationPluginComponentRegistrar : CompilerPluginRegistrar() {
             logLevel, errorStyle, behaviour, conversionSelection, verificationSelection,
             checkUniqueness
         )
+        configuration.messageCollector.report(CompilerMessageSeverity.INFO, "Formal verification plugin: $config")
         FirExtensionRegistrarAdapter.registerExtension(FormalVerificationPluginExtensionRegistrar(config))
     }
 }
diff --git a/formver.gradle-plugin/src/org/jetbrains/kotlin/formver/gradle/FormVerSubplugin.kt b/formver.gradle-plugin/src/org/jetbrains/kotlin/formver/gradle/FormVerSubplugin.kt
index 58666c3b..d7e09479 100644
--- a/formver.gradle-plugin/src/org/jetbrains/kotlin/formver/gradle/FormVerSubplugin.kt
+++ b/formver.gradle-plugin/src/org/jetbrains/kotlin/formver/gradle/FormVerSubplugin.kt
@@ -60,8 +60,7 @@ class FormVerGradleSubplugin
         }
     }
 
-    override fun getCompilerPluginId(): String =
-        "${BuildConfig.COMPILER_PLUGIN_GROUP}.${BuildConfig.COMPILER_PLUGIN_NAME}"
+    override fun getCompilerPluginId(): String = FormalVerificationPluginNames.PLUGIN_ID
 
     override fun getPluginArtifact(): SubpluginArtifact =
         SubpluginArtifact(