Fixed: made the doctype name case insensitive

The case-sensitive nature of doctype name is a real issue. This is a step forward to fix it. Isn't it ?