Just some extra debugging code.