Revert name change to the server option