Fixing some repo files