small fix for debugging