Small improvements to the automorphicity section and the counting angels section.

I'll have to put this down for the rest of the day while I teach and
such. I'll be back tomorrow morning!