ticket1: fix setting.py