Hmm, github client apparently didn't catch some of the changes