fix incorrect fix of github_lines