It looks like this is a leftover from debugging.