diff --git a/bin/install.pike b/bin/install.pike
index da4fa7cc5ffba4ec8eb75409bd04b71f17268822..d4e8c957d068c9d92b63da4e1e9f9a4967e6b932 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -572,7 +572,7 @@ int main(int argc, string *argv)
       exec_prefix=vars->exec_prefix||prefix+="/bin/";
       lib_prefix=vars->lib_prefix||prefix+="/lib/pike/";
       include_prefix=combine_path(prefix,"include","pike");
-      man_prefix=vars->man_prefix||prefix+="/man/;
+      man_prefix=vars->man_prefix||prefix+="/man/";
       break;
 
     case "--interactive":