Document the default option