HTML files should not automatically run.

Fix a bug introduced with the script-pragmas: HTML files should not
automatically run when viewed.