Fixes a compilation issue