Fixing redundancies