[#2465] Fixing tiny typo