Symbols do not serialize correctly in JSON.