Fix another configuration mistake.