Fix rename servlet.