added small debugging utility