more debugging: