Synchronizing local and GitHub as it seems not all files were uploaded
in the first attempt.