These ignore statements should be removed, since there are tests for that stuff. See also below.