Fix #801: Evaluate values proc lazily.