clarify server.xml modifications