minor fix to update_10_11.py