Hmm, I think this might be a leftover from some debugging.