ServerOptions was not supposed to be checked in