Add note that the values need to be modified in defs.py too.