Fix a typo in commit 80399176ed66d.