Add coverage back; needed for Jenkins.