encountered a bug in the specification