[#1211] Correct a typo