Small fixes to GitHub rate limit reporting