Bugfixes

Small fix for errors in deleting checker instances.