Fix derped config option.