made correctness testing happen when -b is used