Fixed nasty git repo name bug.