diff --git a/PDP10/pdp10_lp20.c b/PDP10/pdp10_lp20.c
index 9a8366c4..3e0bde58 100644
--- a/PDP10/pdp10_lp20.c
+++ b/PDP10/pdp10_lp20.c
@@ -54,6 +54,7 @@
 */
 
 #include "pdp10_defs.h"
+#include <ctype.h>
 
 /* Time (seconds) of idleness before data flushed to attached file. */
 #ifndef LP20_IDLE_TIME
diff --git a/PDP11/pdp11_io_lib.c b/PDP11/pdp11_io_lib.c
index 98ed06ac..67849dfd 100644
--- a/PDP11/pdp11_io_lib.c
+++ b/PDP11/pdp11_io_lib.c
@@ -360,7 +360,7 @@ else
 maxvec = i+j;
 fprintf (st, " %*.*sVector%*.*s", i/2, i/2, " ", (i/2)+i%2, (i/2)+i%2, " ");
 
-fprintf (st, " BR %*.*s# Device\n", (maxdev -1), (maxdev-1));
+fprintf (st, " BR %*.*s# Device\n", (maxdev -1), (maxdev-1), " ");
 for (i = 0; i < maxaddr; i++)
     fputc ('-', st);
 fprintf (st, " ");