Hotfix: typo and sanity check