fix GitHub name