Fixing bug found by Alex's static analysis. [#64069366]