Fixed a bug which could lead to the problem that a token which has an
equivalent in the base text is marked as unique.