Removed traces of the old debug option.