diff --git a/repos/ports/src/virtualbox/frontend/main.cc b/repos/ports/src/virtualbox/frontend/main.cc
index ee3cea31d6..00ab28388b 100644
--- a/repos/ports/src/virtualbox/frontend/main.cc
+++ b/repos/ports/src/virtualbox/frontend/main.cc
@@ -228,7 +228,7 @@ int main(int argc, char **argv)
 
 	HRESULT hrc = setupmachine();
 	if (FAILED(hrc)) {
-		PERR("Start-up of VMM failed - reason %d - exiting ...", hrc);
+		PERR("Start-up of VMM failed - reason 0x%x - exiting ...", hrc);
 		return -2;
 	}