diff --git a/CHANGELOG.md b/CHANGELOG.md
index d68d3a9..6fc8db5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,11 +7,6 @@
 - change imports of infoview-app to [dynamic loading](https://github.com/leanprover/vscode-lean4/tree/master/lean4-infoview#loading-the-infoview), hence
 - adapt external infoview [widget](https://lean-lang.org/lean4/doc/examples/widgets.lean.html)
 - adapt apply edit like `simp?`
-- add filetype/language support
-- an icon temporally from [here](https://intellij-icons.jetbrains.design/#AllIcons-expui-breakpoints-breakpointLambda), create a PR or ISSUE if you find some better!
-
-## [0.0.19] - 2024-10-21
-
 - add support for goal hints in regular (i.e. non tactic) mode
 - add diagnostic hints
 - allow for collapsing of all inlay hints
diff --git a/gradle.properties b/gradle.properties
index 6c218a2..b0c49c6 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -4,7 +4,7 @@ pluginGroup = lean4ij
 pluginName = lean4ij
 pluginRepositoryUrl = https://github.com/onriv/lean4ij
 # SemVer format -> https://semver.org
-pluginVersion = 0.0.19.beta.1
+pluginVersion = 0.0.19.beta.2
 
 # Supported build number ranges and IntelliJ Platform versions -> https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html
 # For the dependence on textmate bundle api, the plugin must start build from 241