Fix bug in editor on unknown token type.