Fixed a minor thing after a million years of git badness