Simplify config.html a little.