bugfixes to the new refinements for finding CSS problems (and to the test)