Fix what GitHub broke.