Fixing some small issues with GitHubFlow