cleanup after some debugging