#1607: a little fix in proxy servlet.