Fix: Use correct DOCTYPE in HTML5 documents.