This is easily fixable but I'm wondering if we should add tests to the TCK as they are obviously missing.

The fact is that I'm not sure we state explicitly somewhere that they should be taken into account but I think it's the reasonable thing to do.