#422: config.py, fix typo in dockblocks