Python typdef fixed