#705: no changes made to 'config.py'

Resolves #705.