html and slight servlet changes