Is this needed, or is it leftover from debugging?