it’s not a bug in the direct meaning, but a bug in the specifications.