coverage double counting bug