do these options not come from the server?