- fix a bug in the Davix plugin name resolution