fix repository name

oh dear. It was a bad spelling day yesterday.