Minor random clean-up.

I should learn how to use git, too.