Fix same web.config problem as #74.

A new web.config file showed up with the same problem as before.