Some errors found in Counsyl's test cases: Fixed