Minor change to reset semantics.