Disallow empty index (HTML revision 8010)