hotfix: fix small compilation error