Fix #801: Only evaluate values proc lazily.