Wrong source specification for coverage