Fixes a compilation error in the TCK