Fixed typo leftover from merge #3513