document update. (user.py option change)