Small hotfix after merge.