Fix typo, this is a follow-up from #1346