HOTFIX: compilation error hot fix