Game server/king system: changing the tax rate no longer crashes the server; resolves #182.