fixed: a little problem in plugins that use ctags;