fix #4119 (WTF typo)