Fixes #101 Skipfish plugin does not stop correctly