[#3975] Minor typo