fix name of servlet