Update module12_short.py