Update sn1987a.tex