Fixing github instructions