Improved tidying in reportInstantiatedWildcards