Type Error running examples