little cleanup in knossos-global