Fixes a compilation error.