Fix typo after serious git repo confusion.