minor fixes for debugging...