Default options for #39