Bugfix: now, the correct decoder is referenced by the user dictionary in case a disambiguator was used.