More debugging code.