Report spec discrepancy on mismatching lists