Semantic plugin: fixes for new plugin interface