Added debugging code.