Make style fixes

Someone else should check to see if I made a mistake.
I'm pretty sure RES is the only place where HTMLPasteurizer exists.