at the end of each .html file were broken; they pointed at a document with the extension .HTML rather than .html