More haddock
Terminate correctly before we exit the plugin monad