Fixed wrong coverage filename