Issue in Identifier names

[Dr. J Foerster]

There is an issue here, however, it has nothing to do with the copy-and-paste action. Somehow, the last ident is treated differently than other idents, and having a space in its name causes the problem. We assigned ticket no 1148 to this issue.

In general, using spaces in ident names is depreceated. Use e.g. underscores instead. This also makes messages easier to read, an ident "this is" can lead to the message "ident this is not in list", which would start you looking for ident "this", while in the other case the message "ident this_is not in list" is clear.