small modifications in tex