Little fix in the plugin after a compiler update