Ja, braucht man auch nicht ändern, solange die Kopfzeile noch falsch ist. Sind auch noch ein paar andere Sachen, die nicht funktionieren wegen der defekten Datenbank, die aber kaum auffallen dürften im "alltäglichen Gebrauch".