diff --git a/Makefile b/Makefile
index 803dfad0547bbfa9dea989ee478f56748045f655..ac2be0b6572a3a9cd203b5ff5f39c818258c2c75 100644
--- a/Makefile
+++ b/Makefile
@@ -11,8 +11,12 @@ PYTHON=/Users/$(USERNAME)/opt/miniconda3/bin/python3
 installph:
 	./gradlew -PpythonCommand=$(PYTHON) installKernelSpec
 installphuser:
-    echo "Installing for user, so that, e.g., VSCode sees the kernel"
-	./gradlew -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
+	echo "Installing for user, so that, e.g., VSCode sees the kernel"
+	./gradlew -PprobHome=$(PROB_HOME) -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
+
+remove:
+    echo "Deinstalling ProB2 Kernel; you may have to run this twice!
+    jupyter kernelspec remove prob2
 
 console:
 	jupyter console --kernel prob2