Minor hotfix