Minor fixes for the plugins system documentation
Merge pull request #534 from amarandon/plugins-dev-doc

Minor fixes for the plugins system documentation