Exactly. More generally the natural initial value for a fold of an operation is the identity (or zero) element for that operation.