add another bug to test in Syndrome.java