updated syndefs