Debugging code which was forgotten