Issue #3943: Change the value of times