Added debugging code. We'll remove that soon.