tweaks for servlet compatability