small improvement in Filter and Servlet