Note added about bad spec.