Hotfix: fix a typo.