* some cleanups for debugging: