zzzz forgot some debugging code