This fixes #7293.  It now enables checking the config.