Hotfix to a mistype