Are these options just leftover from debugging?