Fix typo merged from #2223