Small fixes to GitHub stuff