fix GitHub URL