changed \< into \"