ex39.pyi corrected