Update typedef.py

Fixes