That's a good find. I'll need to clarify though whether we can remove the wrong element type in terms of backwards compatibility (no one should ever have put @ConvertGroup to the type-level, but technically it would have been possible, so it may pose a (albeit quite theoretical) compatibility issue).