fix document servlet name