Fixes github banner being broken.