diff --git a/org.lamport.tla.toolbox.doc/src/org/lamport/tla/toolbox/doc/handler/HelpPDFHandler.java b/org.lamport.tla.toolbox.doc/src/org/lamport/tla/toolbox/doc/handler/HelpPDFHandler.java
index 3063bc9f3559285aa23a7ccd52400f93f7303037..659fb599bf102e754d9df0136e79d9d9b986c1e4 100644
--- a/org.lamport.tla.toolbox.doc/src/org/lamport/tla/toolbox/doc/handler/HelpPDFHandler.java
+++ b/org.lamport.tla.toolbox.doc/src/org/lamport/tla/toolbox/doc/handler/HelpPDFHandler.java
@@ -67,7 +67,7 @@ public class HelpPDFHandler extends AbstractHandler implements IHandler {
 				try {
 					final File pdfFile = getDocFile("/pdfs/" + pdf);
 					if (osOpensPDF) {
-						final String openCommand = "open " + pdfFile.getAbsolutePath();
+						final String[] openCommand = { "open", pdfFile.getAbsolutePath() };
 						
 						Runtime.getRuntime().exec(openCommand);
 					} else if (useEmbeddedViewer) {