Hopefully fix coverage