correction to map urls for servlets