a few more debuggings