more debugging helper