correct errors in ModifiesFlags and TestsFlags