Add some more server.properties. Fixes #17.