Fix doc error related to BigDecimals