small fix to ServerOptions