More debugging code, none of it helpful