config: Fix the use of the extra options.