servlet fixes