This seems unnecessary since it is the same as the default above.