diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/xmanual b/pkgs/htdp-pkgs/htdp-test/2htdp/xmanual
old mode 100644
new mode 100755
diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/xtest b/pkgs/htdp-pkgs/htdp-test/2htdp/xtest
index 3ec5b73932..5b57c374cf 100755
--- a/pkgs/htdp-pkgs/htdp-test/2htdp/xtest
+++ b/pkgs/htdp-pkgs/htdp-test/2htdp/xtest
@@ -46,7 +46,6 @@ run struct-universe.rkt
 run universe-receive.rkt
 run universe-restart.rkt
 run name.rkt
-run pad1.rkt
 run pad1-handler.rkt
 run pad1-in-bsl.rkt
 run error-messages.rkt