Run-syntax-tests now accepts only one incorrect test