Fix corrupted ripple.config