Oops, removed some leftover debugging code from the last commit