Fix typo that broke anonymous git push.