diff --git a/docker/tools/docker_shell b/docker/tools/docker_shell
index 7ad78047..6376b7b1 100755
--- a/docker/tools/docker_shell
+++ b/docker/tools/docker_shell
@@ -159,11 +159,9 @@ logger.debug("checking if qemu-ppc exists")
 if os.path.isfile("/proc/sys/fs/binfmt_misc/qemu-ppc"):
    logger.debug("qemu-ppc already exists")
 else:
-   if os.path.ismount("/proc/sys/fs/binfmt_misc"):
-      execute("sudo /etc/init.d/binfmt-support start", "The binfmt-support service could not be started.")
-   else:
-      execute("sudo mount binfmt_misc -t binfmt_misc /proc/sys/fs/binfmt_misc", "The binfmt_misc system could not be mounted.")
-      execute("sudo /etc/init.d/binfmt-support start", "The binfmt-support service could not be started.")
+   if not os.path.ismount("/proc/sys/fs/binfmt_misc"):
+      execute("sudo mount binfmt_misc -t binfmt_misc /proc/sys/fs/binfmt_misc", "The binfmt_misc system could not be mounted.")   
+   execute("sudo /etc/init.d/binfmt-support start", "The binfmt-support service could not be started.")
 
 # Fixme: change this to os.execvp()
 c = "/usr/bin/sudo -E -u %s %s" % (g_user.name, " ".join(ops.command))