Remove warning about redundant OTHERS choice

This is explicitly allowed by the LRM