new patch (to fix a compilation error)