removed debug print
simpler fix for \syntax problem in tests