correct mistake on what was pushed to GitHub