Small fixes: now tested

The new redundancy system seems to work well.