You mean we should never repeat the default value in the doc because it is already obvious from the function signature?