Minor cleanup in SetCriticalPathServlet.