Reduce coverage - for some reason on travis it is slightly lower!