fixes a compilation error