change default for #835