Fixing typo.

This is a fix for https://news.ycombinator.com/item?id=8114076.