Correct names of preprocessing options