[#1539] Fix typo