fixes strange behaviour if source level 7 is configured twice