Update aleluia.tex