[Finished #42251389] Minor change.