[#1382] Minor typo