It's not uncommon for this to happen with smaller ccTLDs. The registrars are a bit lazy with keeping up with the rules of the various registries.
I wouldn't waste my time trying to register it. It's not going to work, so why bother?
You might want to drop a line to the registry to ask if the rules have changed, and to the registrar to point-out their error.