diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 8c4ca4744..a4c61bbf1 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -1,4 +1,7 @@
-if {(![have_spec nova] && ![have_spec muen])} {
+if {(![have_spec nova])} {
+	if {[have_spec muen]} {
+		puts "vbox on muen is not functional until issue #2399 gets fixed"
+	}
 	puts "Platform is unsupported."
 	exit 0
 }