added more debugging utilities