Fix server_options_test