Remove unnecessary inverse specification