minor fixes for debugging