diff --git a/stepmania/Themes/default/Graphics/ScreenInstructions header.redir b/stepmania/Themes/default/Graphics/ScreenInstructions header.redir
deleted file mode 100644
index 98d01c640d..0000000000
--- a/stepmania/Themes/default/Graphics/ScreenInstructions header.redir	
+++ /dev/null
@@ -1 +0,0 @@
-_shared options header