Fix about_monkey_patching.py