This just has some edits to the ps1a.tex file that I forgot to stage before.