small modification of jsp