Another try to fix coverage info