Fix whitespace error.
Tweak fancy header settings a little bit.
Fix some latex warnings.
Further fiddling with whitespace.
Further tweaks to formatting.
Another batch of formatting fixes.