Another error in synsem example9 fixed