[#4166] Fixing small typo