Small fixes to operator servlet