krebs: cleanup