bugfix: servlet