some very minor jsp cleanup