some more debugging aids