Incorrect server.xml

The previous change created an invalid server.xml file.  This fixes
the problem.

[#52956737, #8]