A Few Trivial EOF Tweaks

Maybe this is just OCD, but hey.