moved number correction options to preference dialog