Bug fix: different filters on specification (mark not implementable....) were not correctly shown