Fix a few repos