fixed syntax for type examples