Some debugging code.