Use the default specified in the comment above.